roots and abstraction